$\forall$$a$, $b$:$\mathbb{Q}$. 0 $\leq$ $a$ $\Rightarrow$ 0 $\leq$ $b$ $\Rightarrow$ 0 $\leq$ $a$ $\ast$ $b$